the identity property of 1